antimonotone operator

[数] 反单调算子